DsysNull  Dsys 

latex

Definitions	Feasible(M), DsysNull, s-dsys(M), x:A. B(x), , System, MsgA, Id, t  T
Lemmas	m-sys-null wf, s-dsys wf, ma-feasible wf, Id wf, msga wf